|
Larry Wos is a mathematician, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratories.〔(Larry Wos's home page ) at ANL, retrieved 2010-10-03.〕 Wos studied at the University of Chicago, receiving a bachelor's degree in 1950 and a master's in mathematics in 1954, and went on for doctoral studies at the University of Illinois at Urbana-Champaign. He joined Argonne in 1957, and began using computers to prove mathematical theorems in 1963.〔.〕 Wos is congenitally blind. He is an avid bowler, the best male blind bowler in the US.〔〔.〕〔.〕 ==Awards and honors== In 1982, Wos and his colleague Steve Winker were the first to win the Automated Theorem Proving Prize, given by the American Mathematical Society.〔''Chicago Tribune'', November 18, 1982.〕 In 1992, Wos was the first to win the Herbrand Award for his contributions to the field of automated deduction. A festschrift in his honor, ''Automated reasoning and its applications: essays in honor of Larry Wos'' (Robert Veroff, ed.) was published by the MIT Press in 1997 (ISBN 0-262-22055-5). 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Larry Wos」の詳細全文を読む スポンサード リンク
|